Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
601	Czech Technical University in Prague Faculty of Electrical Engineering Department of Computer Science and Engineering Two-dimensional Pattern Matching Using Automata Approach by Add to Reading List Source URL: www.stringology.org Language: English - Date: 2010-12-27 13:17:17 Applied mathematics Mathematics Cellular automaton Approximate string matching Pattern Compressed pattern matching String searching algorithm Conference on Implementation and Application of Automata Trie Pattern matching Automata theory Theoretical computer science
602	In the need of a design. . . reverse engineering Erlang software Thomas Arts1 and Cecilia Holmqvist2 1 IT university in G¨ Add to Reading List Source URL: www.erlang.se Language: English - Date: 2004-10-11 05:57:33 Automata theory Digital electronics UML diagrams Diagrams Theoretical computer science Erlang Finite-state machine UML state machine State diagram Models of computation Software engineering Computing
603	UML Tutorial: Complex Transitions Robert C. Martin Engineering Notebook Column C++ Report, September 98 In my last column I talked about UML Finite State Machine diagrams. In this column we will be Add to Reading List Source URL: www.objectmentor.com Language: English - Date: 2012-12-22 21:29:00 Digital electronics Theoretical computer science Diagrams Computer science Software engineering UML state machine Toaster Finite-state machine State diagram Models of computation UML diagrams Automata theory
604	Monitoring of real-time properties Andreas Bauer, Martin Leucker, and Christian Schallhart Institut f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. This paper presents a construction for runtime monitors t Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:28 Formal methods Computer science Linear temporal logic Deterministic finite automaton Nondeterministic finite automaton Symbol Model theory Automata theory Models of computation Theoretical computer science
605	Implementing Asynchronous Distributed Systems Using the IOA Toolkit Chryssis Georgiou 1 , Panayiotis P. Mavrommatis2 , Joshua A. Tauber2 1 2 Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2007-11-27 05:21:59 Automata theory C++ Message Passing Interface Parallel computing ALGOL 68 Tree automaton C++ classes Computing Computer programming Software engineering
606	Soros language specification1 DRAFT, [removed]László Németh ([removed]) 1 Introduction The Soros programming language is a regex based language for conversion between self-similar Add to Reading List Source URL: www.numbertext.org Language: English - Date: 2010-04-19 08:50:28 Source code Regular expressions Formal languages Automata theory Pattern matching Subroutine Computer programming Software engineering Computing
607	Apache HBase Master Redesign Proposal. The hbck-master DRAFT v2 (HBASE[removed]Long Version) Jonathan Hsieh ([removed[removed] Add to Reading List Source URL: issues.apache.org Language: English Java enterprise platform Automata theory Finite-state machine ZK File system Replication Representational state transfer HBase Extensible Storage Engine Computing Data synchronization Fault-tolerant computer systems
608	3-2 Development of the SprinTra WFST Speech Decoder DIXON Paul Richard, HORI Chiori, and KASHIOKA Hideki In this paper we describe the NICT Weighted Finite State Transducer (WFST) based speech decoder named SprinTra. The Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2013-11-21 21:19:13 Science Linguistics Speech recognition Applied mathematics Finite state transducer N-gram Finite-state machine Language model Algorithm Automata theory Computational linguistics Models of computation
609	Phase transitions in cellular automata : From computer science to statistical physics & back. Nazim Fatès Loria - BP[removed]Vandœuvre-lès-Nancy – FRANCE Add to Reading List Source URL: nazim.fates.free.fr Language: English - Date: 2007-10-18 05:12:02 Renormalization group Phase transitions Lattice models Combinatorics Directed percolation Critical exponent Universality Percolation Power law Physics Critical phenomena Quantum field theory
610	Efficient Solutions for the Complement of wwR and the Complement of ww Allaoua Refoufi Computer Science Department University of Sétif Algéria Add to Reading List Source URL: dline.info Language: English - Date: 2015-01-12 10:33:13 Theoretical computer science Formal languages Computer science Pushdown automaton Deterministic pushdown automaton Nondeterministic finite automaton Deterministic finite automaton Stack Chomsky hierarchy Automata theory Theory of computation Models of computation

UPDATE